Typeful programming

In computer science, typeful programming is a programming style identified by widespread use of type information handled through mechanical typechecking techniques.^[1] The concept was introduced in a paper of the same name by Luca Cardelli in 1991.^[1]

The Haskell programming language is said to be typeful.^[1]

References

1. ^ ^{a b c} Cardelli, Luca (1991). "Typeful programming". IFIP State-of-the-Art Reports (New York: Springer-Verlag) (Formal Description of Programming Concepts): 431–507. http://www.lucacardelli.name/Papers/TypefulProg.pdf.